Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
591	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
592	Microsoft PowerPoint - SDM3.ppt Add to Reading List Source URL: www.chris-kimble.com Language: English - Date: 2008-10-01 19:21:24 Computing Software project management Methodology Software development process Software engineering Software design Software development methodology IBM Rational Unified Process Object-oriented programming Software development Software Formal methods
593	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
594	Alloy: A Higher-Order Relational Constraint Solver Aleksandar Milicevic Joseph P. Near Eunsuk Kang Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2014-09-09 16:16:23 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories First-order logic Alloy Tree Theoretical computer science Mathematical logic Applied mathematics
595	Deliver Now! Methodology For Implementing Websites Using Kentico CMS for ASP .NET Kentico CMS Add to Reading List Source URL: www.kentico.com Language: English - Date: 2011-12-16 02:59:13 Web development Software Methodology Software development process Software engineering Usability Web content Web accessibility Software prototyping Content management systems World Wide Web Formal methods
596	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
597	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
598	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
599	Fixing Letrec (reloaded) Abdulaziz Ghuloum R. Kent Dybvig Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:06 Formal methods Theoretical computer science Functional programming Models of computation Lambda calculus Scheme Hindley–Milner Hygienic macro Expression Software engineering Computing Mathematics
600	Jessie Plug-In Tutorial Frama-C version: Carbon Jessie plug-in version: 2.28 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Formal methods Procedural programming languages Automated theorem proving Pointer Memory safety ALGOL 68 IP Computing Software engineering Computer programming

UPDATE